基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

微小卫星星务计算机系统模拟部件可靠性设计

为确保星务计算机系统长期在轨工作的稳定性,针对系统中数模转换器等不同模拟部件的特点,给出相应的可靠性设计方案。在模拟输入通道中采用中位值滤波和递推平均滤波的组合算法,来获取尽可能可靠的输入数据,在模拟输出通道中则采用中值表决电路通用模块实现正确的模拟输出。该方案已在原理样机研制中得到验证和完善。仿真和验证结果表明,本方案在兼顾微小卫星对功耗、质量等苛刻要求的同时,能够很好地满足系统的可靠性要求。     

金属磁记忆检测的机理及实现

现代工业的发展,离不开各种先进的无损检测(NDT)手段.但纵观传统的NDT方法,都是在部件缺陷发展形成以后才能被发现.金属磁记忆诊断技术是目前唯一能预测部件早期损伤的新方法.本文从晶体结构出发,在理论上和实验上分析了金属磁记忆检测的机理,并建立了系统模型.     

正交试验法优选田七花总黄酮的提取工艺

用正交试验法对田七花中的总黄酮提取工艺进行优化.以田七花中的总黄酮含量为考察指标,采用正交试验L9(34)表进行实验,对提取过程中的乙醇浓度、提取时间、提取次数及料液比四个影响因素进行研究.结果显示影响田七花中的总黄酮提取工艺的显著因素是提取次数,最佳提取工艺是:12倍量的80%的乙醇提取3次,每次1 h.     

LabVIEW和三维虚拟现实技术在物理实验中的应用研究

虚拟仪器技术主要倾向于数据处理的精确性,三维虚拟技术则倾向于形象的仪器展示.利用两者的优势,我们创造性地实现了三维虚拟现实技术与虚拟仪器技术的完美结合,并以"电子示波器的使用"为例,探讨LabVIEW技术和3D技术在物理实验中的应用.     

马纳斯河流域民主参与式的水资源统一管理

本文针对玛纳斯河流域水资源管理存在逐利、水资源被分割管理,以及缺乏民主参与等问题,提出流域实行水资源统一管理,成立利益相关者参与的民主管理监督机构。     

涡流无损检测淬火钢轨踏面硬度的数值分析

详细地介绍了一种利用电磁涡流信号检测淬火钢轨硬度的新型无损检测装置 .利用该装置可连续地实现钢轨踏面硬度的检测 ,并且通过应用计算机信号处理技术和图形技术 ,使得该装置的检测精度达到了工业测量的要求 .     

一元回归在射表符合系数曲线制作中的应用

针对现有射表符合系数曲线绘制过程中存在的不足，运用一元回归方法对其进行改进，并验证了把该方法用于制作射表符合系数曲线时，可以提高试验数据处理效率以及试验数据的准确度．     

Bayes逐步判别法在邢台煤矿突水水源判别中的应用

快速有效地判别突水水源是矿井安全生产的重要保障。文章以邢台煤矿为研究对象,选取各含水层多项水质指标,应用Bayes逐步判别法建立矿井突水水源快速判别模型。结果表明:Bayes逐步判别模型以其计算过程简单、模型结构稳定而优于其它模型,既提高判别准确率又提高判别速度,实现对突水水源快速有效判别,为防治水工作提供有力依据。     

地基土对桥梁索塔抗震设计影响的研究与实践(之二)

以火箭式激振器为震源对高大结构物(即云南景洪澜沧江大桥主塔)进行了现场动力测试和分析,利用实测结构体系的动力特性,取得了场地土边界元参数,在考虑了土与结构相互作用的基础上,为选取全桥的抗震设计参数提供合理依据.